Analysis algorithms {forward analysis} can use assumptions about node relations to go from one node to another, to avoid costly and time-consuming backtracking.
Analysis algorithms {frame analysis} can use object-class variable, parameter, or property-type lists, with default values. However, such lists do not use "OR" relations well.
3-Computer Science-Software-Algorithm-Kinds
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0225